Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
941	Dr. sc. ETH Mathias Payer C ONTACT Revision: MarchAffiliation: Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2015-04-20 14:04:32 ETH Zurich Language-based system Orc ALGOL 68 Actor model Pascal Computing Programming language theory Software engineering
942	Intro to the 3apl interpreter Daan Leijen , http://www.cs.uu.nl/~daan September 23, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2002-10-14 07:40:43 Multi-agent systems Prolog 3APL Prova Computing Software engineering Programming language theory
943	mar18-00 ADAS Bulletin Add to Reading List Source URL: phys.strath.ac.uk Language: English - Date: 2006-01-11 08:38:31 Helike ALGOL 68 IDL Portable Executable Computing Programming language theory Software engineering
944	Universal Physician Credentialing ApplicationCopyrightStephen Scott & Associates, Inc. Add to Reading List Source URL: www.stephenscott.com Language: English - Date: 2008-08-25 21:55:22 Computing Social Security number C Software engineering Programming language theory Postal system ZIP code Address
945	Annotation-Based Empirical Performance Tuning Using Orio Albert Hartono1 , Boyana Norris2 , and P. Sadayappan1 1 Ohio State University, Dept. of Computer Science and Engineering, Columbus, OH 43210 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2008-11-19 11:29:27 Programming language theory Automatic parallelization tool Loop optimization Loop fusion Automatic parallelization Loop unwinding Program optimization Compiler Polytope model Compiler optimizations Computing Software engineering
946	Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Type theory Logic in computer science Functional languages Data types Formal methods Formal verification Dependent type Isabelle Agda Software engineering Programming language theory Computing
947	The whole FlagShip 7 manual consist of following sections: Section Content General information: License agreement & warranty, GEN installation and de-installation, registration and support FlagShip language: Specificati Add to Reading List Source URL: www.fship.com Language: English - Date: 2009-12-09 07:33:07 CMD file OBJ Clipper AS/400 Control Language Computing Software engineering Programming language theory
948	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming
949	A New Implementation of the Icon Language Gregg M. Townsend Department of Computer Science The University of Arizona Tucson, AZ 85721 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2000-07-24 19:35:50 Data types Cross-platform software Type theory Subroutines Procedural programming languages Icon C Java bytecode Java Software engineering Computing Computer programming
950	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics

UPDATE